Słownik terminologii komputerowej

Skorzystaj z wyszukiwarki lub indeksu alfabetycznego.
Przykłady: pci, /dev/null, functional unit, embedded system, pseudo-tty, nfs.

1 definition found From The Free On-line Dictionary of Computing (05 January 2017) [foldoc]: reduction strategy evaluation strategy An algorithm for deciding which redex(es) to reduce next. Different strategies have different termination properties in the presence of recursive functions or values. See string reduction, normal order reduction, {applicative order reduction}, parallel reduction (1995-05-09)